Mixed integer linear programming and constraint logic programming: towards a unified modeling framework

Comparing Mixed-Integer and Constraint Programming for the No-Wait Flow Shop Problem with Due Date Constraints

The impetus for this research was examining a flow shop problem in which tasks were expected to be successively carried out with no time interval (i.e., no wait time) between them. For this reason, they should be completed by specific dates or deadlines. In this regard, the efficiency of the models was evaluated based on makespan. To solve the NP-Hard problem, we developed two mathematical mode...

Stochastic Short-Term Hydro-Thermal Scheduling Based on Mixed Integer Programming with Volatile Wind Power Generation

This study addresses a stochastic structure for generation companies (GenCoʼs) that participate in hydro-thermal self-scheduling with a wind power plant on short-term scheduling for simultaneous reserve energy and energy market. In stochastic scheduling of HTSS with a wind power plant, in addition to various types of uncertainties such as energy price, spinning /non-spinning reserve prices, unc...

Values Suggestion in Mixed Integer Programming by Machine Learning Algorithm

Constraint logic programming is a framework for modeling constraint satisfaction and optimization problems. To use the techniques of constraint programming eeciently in applications software some knowledge and experience of the problem domain is demanded. In order to get some of the problem domain knowledge we investigated usage of some machine learning methods in the eld of constraint logic pr...

SCIP: solving constraint integer programs

Constraint integer programming (CIP) is a novel paradigm which integrates constraint programming (CP), mixed integer programming (MIP), and satisfiability (SAT) modeling and solving techniques. In this paper we discuss the software framework and solver SCIP (Solving Constraint Integer Programs), which is free for academic and non-commercial use and can be downloaded in source code. This paper g...

Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming